Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux
نویسندگان
چکیده
Les méthodes usuelles de résolution pour le cadre WCSP utilisent des techniques de transferts de coûts couplées à une recherche arborescente de type séparation et évaluation. Dans cet article, nous nous intéressons à une approche intégrant l’extraction et le relâchement de noyaux insatisfiables minimaux afin de résoudre ce problème, soit de manière incomplète (gloutonne), soit de manière complète.
منابع مشابه
Extraction de noyaux insatisfiables minimaux de réseaux de contraintes
We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many application domains such as configuration, planning, diagnosis, etc. Indeed, identifying one or several disjoint MUCs can help circumscribe different sources of inconsistency in order to repair a system. In this paper, we propose an...
متن کاملRésolution du problème de la stéréophotométrie non calibrée par estimation de l’intensité des éclairages
In this paper we present a new method for solving the uncalibrated photometric stereo problem in the Lambertian framework, based on the hypothesis that all lightings share the same intensity, which we can estimate. We show how this estimation allows one to solve the ambiguities of the linear Lambertian model, especially the so-called generalized bas-relief ambiguity. As the problem becomes well...
متن کاملRôle de la matrice d'information et pondération des composantes dans les noyaux de Fisher pour PLSI
RÉSUMÉ. Des similarités entre documents à base de catégories sémantiques latentes et de noyaux de Fisher ont été proposées pour la première fois il y a dix ans par T. Hofmann dans le contexte du “Probabilistic Latent Semantic Indexing”, puis étendues par Nyffenegger et al. (2006). Le présent article présente une étude approfondie et une révision de ces modèles par (1) une description unifiée et...
متن کامل